/***************************************************************************

	machine/i82439tx.h

	Intel 82439TX PCI Bridge

***************************************************************************/

#ifndef I82439TX_H
#define I82439TX_H

void intel82439tx_init(void);

#endif /* I82439TX_H */
